Wete, Eric; Greenyer, Joel; Kudenko, Daniel; Nejdl, Wolfgang; Flegel, Oliver; Eisner, Dennes
(New York : Association for Computing Machinery, 2022)
In the automotive industry, the design, modeling, and planning of multi-robot cells are manual error-prone, and time-expensive tasks. A recent work investigated, using reactive synthesis, approaches to automate robot task ...